$\forall$$p$:FinProbSpace, $a$, $b$:Atom2, $C$:p{-}open($p$).
\\[0ex]measure($C$) = 1
\\[0ex]$\Rightarrow$ ($C$:p{-}open($p$)$\parallel$$a$ $\vee$ $C$:p{-}open($p$)$\parallel$$b$)
\\[0ex]$\Rightarrow$ (find{-}random\{2\}($C$;$p$;$a$;$b$) $\in$ \{$n$:$\mathbb{N}\mid$ $C$($<$$n$, random($p$;$a$;$b$)$>$) = 1\} )